//]]>
Unhighlight Highlight
Logic: A Brief Course by Mundici, Daniele. Publication: . XI, 130 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logica: Metodo Breve by Mundici, Daniele. Publication: . XI, 126 pagg. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Cylindric-like Algebras and Algebraic Logic by Andréka, Hajnal. Publication: . 478 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ernst Zermelo - Collected Works/Gesammelte Werke by Zermelo, Ernst. Publication: Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ernst Zermelo - Collected Works/Gesammelte Werke II by Zermelo, Ernst. Publication: . XXIX, 781 p. 56 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A Course on Mathematical Logic by Srivastava, Shashi Mohan. Publication: . XII, 198 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A Course in Mathematical Logic for Mathematicians by Manin, Yu. I. Publication: Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical Logic by Li, Wei. Publication: Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reactive Kripke Semantics by Gabbay, Dov M. Publication: . XII, 442 p. 201 illus., 10 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The NCL Natural Constraint Language by Zhou, Jianyang. Publication: . XIII, 311 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Conditionals and Modularity in General Logics by Gabbay, Dov M. Publication: . IX, 233 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logical Tools for Handling Change in Agent-Based Systems by Gabbay, Dov M. Publication: . X, 305p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Belief Revision in Non-Classical Logics by Ribeiro, Márcio Moretto. Publication: . XI, 120 p. 5 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical Logic for Computer Science by Ben-Ari, Mordechai. Publication: . XV, 346 p. 79 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Specification and Verification of Multi-agent Systems by Dastani, Mehdi. Publication: . XVII, 405p. 100 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5
Languages: 
English |
العربية